La mission sublimante d’Abdallah Taïa : rendre leur humanité à tous les sans-voix

Rendre interactive la découverte d'automates à partir de traces d'activités

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Typer la désérialisation sans sérialiser les types

1: Laboratoire Preuves, Programmation et Systèmes (PPS), CNRS UMR 7126, Université Denis Diderot, Paris [email protected] 2: ENSTA, 32 Boulevard Victor, 75739 Paris cedex 15 INRIA-Rocquencourt, Domaine de Voluceau, 78153 Le Chesnay Cedex Michel.Mauny@{ensta,inria}.fr 3: Laboratoire Preuves, Programmation et Systèmes (PPS), CNRS UMR 7126, Université Pierre et Marie Curie, Paris Emman...

Application de la théorie de la perturbation des opérateurs linéaires à l'obtention de bornes d'erreurs sur les éléments propres et à leur calcul

Les variations dans la fermentation des glucides par Salmonella gallinarum et Salmonella pullorum. Leur intérêt diagnostic

Architecture Multi Domiciliée dans les Réseaux Mobiles : Diminution de l'Impact de la Mobilité sur les Protocoles de Transport

Résumé. Les routeurs mobiles fournissent une connexion fiable avec une mobilité transparente à tous les nœuds connectés à leur réseau. Les protocoles de Transport sont affectés par cette transparence car l’état du réseau d’accès change sans avertissement, rendant l’évaluation du réseau difficile. Notre architecture propose d’informer les protocoles de Transport lorsqu’un changement de réseau es...